<html>
<head><meta charset="utf-8"><title>incremental improvement to rustc · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/incremental.20improvement.20to.20rustc.html">incremental improvement to rustc</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="165095207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/incremental%20improvement%20to%20rustc/near/165095207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/incremental.20improvement.20to.20rustc.html#165095207">(May 07 2019 at 18:01)</a>:</h4>
<p>The discussion yesterday got me wondering. I am feeling more and more like I would like chalk to be more like polonius: something we can improve but that isn't directly <em>blocking</em> anything in rustc. I am therefore contemplating trying to create more "intermediate" goals to try and improve the rustc trait solver directly. I remember we went a bit down this road before, trying to decide e.g. how much of GATs we could do with the current framework, but I'm wondering if it makes sense to think about refactoring and improving the current trait solver in parallel with chalk. I am going to put some more thought into trying to make this more concrete.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>